Abstraction of linked data’s world
نویسندگان
چکیده
منابع مشابه
Designing Multidimensional Cubes from Warehoused Data and Linked Open Datas
A Data Warehouse (DW) is widely used as a consistent and integrated data repository in Business Intelligence systems. Warehoused data provide only a partial view over the activities of an organization. In today's highly dynamic business context, Linked Open Data (LOD) should also be included in analyses to offer multiple perspectives to decision-makers. However, differences between DW and LOD m...
متن کاملPredicate Abstraction and Canonical Abstraction for Singly-Linked Lists
Predicate abstraction and canonical abstraction are two finitary abstractions used to prove properties of programs. We study the relationship between these two abstractions by considering a very limited case: abstraction of (potentially cyclic) singly-linked lists. We provide a new and rather precise family of abstractions for potentially cyclic singlylinked lists. The main observation behind t...
متن کاملReview of Policies and Programs Linked to Decreased Prevalence of Vitamin A Deficiency in World
One of the major health problems in most of the countries is vitamin A deficiency, which causes serious complications in children. Worldwide, nearly 2.8 million children aged 4–6 years old are affected by clinical and subclinical symptoms of vitamin A deficiency. Based on the studies from Iran, prevalence of vitamin A deficiency has increased in some provinces. This problem needs improvements ...
متن کاملPredicate Abstraction for Linked Data Structures
We present Alias Refinement Types (Art), a new approach to the verification of correctness properties of linked data structures. While there are many techniques for checking that a heap-manipulating program adheres to its specification, they often require that the programmer annotate the behavior of each procedure, for example, in the form of loop invariants and preand post-conditions. Predicat...
متن کاملthe tragedy of modern man in arthur millers world
what miller wants is a theatre of heightened consciousness. he speaks of two passions in a man, the passion to "feel" and the passion "know". he belives that we can have more of the latter. he says: drama is akin to the other inventions of man in that it ought to help us know more and not merely to spend our feelings. the writing of the crucible shows us that he is trying to give more heightene...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Visión electrónica
سال: 2019
ISSN: 2248-4728,1909-9746
DOI: 10.14483/22484728.14397